DIAMOND : A System for Computing with
نویسنده
چکیده
This paper briefly describes the DIAMOND system, version 2.0.0, in its role as submission to the First International Competition on Computational Models of Argumentation (ICCMA). DIAMOND is essentially a collection of answer set programming (ASP) encodings of semantics of abstract dialectical frameworks (ADFs) together with a wrapper script that calls an ASP solver with adequate encodings for a given instance, semantics and reasoning problem.
منابع مشابه
Combining fuzzy RES with GA for predicting wear performance of circular diamond saw in hard rock cutting process
Predicting the wear performance of circular diamond saw in the process of sawing hard dimensional stone is an important step in reducing production costs in the stone sawing industry. In the present research work, the effective parameters on circular diamond saw wear are defined, and then the weight of each parameter is determined through adopting a fuzzy rock engineering system (Fuzzy RES) bas...
متن کاملA Fuzzy Rule-based Expert System for the Prognosis of the Risk of Development of the Breast Cancer
Soft Computing techniques play an important role for decision in applications with imprecise and uncertain knowledge. The application of soft computing disciplines is rapidly emerging for the diagnosis and prognosis in medical applications. Between various soft computing techniques, fuzzy expert system takes advantage of fuzzy set theory to provide computing with uncertain words. In a fuzzy exp...
متن کاملImproving Mobile Grid Performance Using Fuzzy Job Replica Count Determiner
Grid computing is a term referring to the combination of computer resources from multiple administrative domains to reach a common computational platform. Mobile Computing is a Generic word that introduces using of movable, handheld devices with wireless communication, for processing data. Mobile Computing focused on providing access to data, information, services and communications anywhere an...
متن کاملImproving Mobile Grid Performance Using Fuzzy Job Replica Count Determiner
Grid computing is a term referring to the combination of computer resources from multiple administrative domains to reach a common computational platform. Mobile Computing is a Generic word that introduces using of movable, handheld devices with wireless communication, for processing data. Mobile Computing focused on providing access to data, information, services and communications anywhere an...
متن کاملAssessment Methodology for Anomaly-Based Intrusion Detection in Cloud Computing
Cloud computing has become an attractive target for attackers as the mainstream technologies in the cloud, such as the virtualization and multitenancy, permit multiple users to utilize the same physical resource, thereby posing the so-called problem of internal facing security. Moreover, the traditional network-based intrusion detection systems (IDSs) are ineffective to be deployed in the cloud...
متن کاملAlgorithms for Computing Limit distributions of Oscillating Systems with Finite Capacity
We address the batch arrival systems with finite capacity under partial batch acceptance strategy where service times or rates oscillate between two forms according to the evolution of the number of customers in the system. Applying the theory of Markov regenerative processes and resorting to Markov chain embedding, we present a new algorithm for computing limit distributions of the number cus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015